proof for the quadratic formular